• Article  

      A Data-Driven Framework for Visual Crowd Analysis 

      Charalambous, Panayiotis; Karamouzas, I.; Guy, S. J.; Chrysanthou, Yiorgos L. (2014)
      We present a novel approach for analyzing the quality of multi-agent crowd simulation algorithms. Our approach is data-driven, taking as input a set of user-defined metrics and reference training data, either synthetic or ...
    • Article  

      PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling 

      Philippou, Anna; Lee, I.; Sokolsky, O. (2012)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
    • Article  

      A process algebraic framework for modeling resource demand and supply 

      Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)
      As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...